# Contributor: Anil Madhavapeddy <anil@recoil.org>
# Maintainer: Anil Madhavapeddy <anil@recoil.org>
pkgname=aspcud
pkgver=1.9.4
pkgrel=4
pkgdesc="Package dependency solver"
url="https://potassco.org/aspcud/"
arch="all"
license="MIT"
depends="boost clingo"
makedepends="boost-dev cmake re2c"
subpackages="$pkgname-doc"
source="$pkgname-$pkgver.tar.gz::https://github.com/potassco/aspcud/archive/v$pkgver.tar.gz"

build() {
	cmake -B build . \
		-DCMAKE_BUILD_TYPE=None \
		-DGRINGO_LOC=/usr/bin/gringo \
		-DCLASP_LOC=/usr/bin/clasp \
		-DCMAKE_INSTALL_PREFIX=/usr
	make -C build
}

package() {
	make -C build DESTDIR="$pkgdir" install
}

sha512sums="6bb04fca0d5df1bfc2d34974386899821790154e10e988dfd34ceada005970ac8dd0bec560b35e20195aa529ac7f73baa07c7d81d9744127e57afece04b2e574  aspcud-1.9.4.tar.gz"
